#include <stdio.h>
#include <stdlib.h>
#include <csp_spu.h>
#include <csp_debug.h>


#define CHANNEL_NAME 42


int global_pid; 


int Run(){
	int pid = csp_pid();

	global_pid = csp_pid();

	int n;


	//Channel wChan(ANY2ANY_CHANNEL, CHANNEL_NAME);
	//wChan.Read(&n);


	ASSERT( pid == csp_pid() );
	ASSERT( global_pid == csp_pid() );

	PRINTF_FOR_TESTING("%s terminating on spe #%i with pid %i\n",__FILE__ , csp_spe_id(), pid);

	PRINTF_FOR_TESTING("Nested task with pid=%i terminated with res=%i.\n", pid, res);

	return 0;
}
